<header>Admin server</header>

De host waar de administratie server op werkt. Normaal gesproken
is dit de Master Kerberos server.
<hr>
